لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Behrooz minaei
Seyed Morteza Babamir
نتایج 1 تا 10 از مجموع 19
1
2
Journal Paper
Accelerating Iterative Methods for Bounded Reachability Probabilities in Markov Decision Processes
Authors:
Mohammadsadegh Mohagheghi
Year 1400
Publish place:
Computer and Knowledge Engineering Issue 2، Vol 3
Pages:
7
| Language: English
View And Download
Journal Paper
ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه
Authors:
رضا رافع
،
فاطمه یوسفی فرد
،
سیده زینب حسینی کب
Year 1394
Publish place:
Journal of Ilam University of Medical Sciences Issue 3، Vol 23
Pages:
13
| Language: Persian
View And Download
Journal Paper
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Authors:
N. Rezaee
،
H. Momeni
Year 1399
Publish place:
Journal of Artificial Intelligence & Data Mining Issue 2، Vol 8
Pages:
11
| Language: English
View And Download
Journal Paper
Formal Method in Service Composition in Heath Care Systems
Authors:
Zahra Baatmaanghelich
،
Ali Rezaee
،
Sahar Adabi
Year 1397
Publish place:
Journal of Advances in Computer Engineering and Technology Issue 1، Vol 4
Pages:
6
| Language: English
View And Download
Conference Paper
Towards automatic generation of formal specifications for UML consistency verification
Authors:
Mohammadreza Sharbaf
،
Bahman Zamani
،
Behrouz Tork Ladani
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
Conference Paper
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
Authors:
Behzad Soleimani Neysian
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
Conference Paper
Improving Verification of Dense Markov Decision Processes
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
7
| Language: English
View And Download
Conference Paper
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
6
| Language: English
View And Download
Conference Paper
ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی
Authors:
بابک صفابهار
،
بهروز مینایی
Year 1394
Publish place:
3nd National Conference on Computer Science
Pages:
9
| Language: Persian
View And Download
Conference Paper
وارسی پردازنده خط لوله شده دارای قابلیت پردازش خارج از ترتیب و حدس پرش به روش model checking
Authors:
علیرضا عبداله پوری
،
محمدکاظم اکبری
Year 1383
Publish place:
10th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
نتایج 1 تا 10 از مجموع 19
1
2